times-by[n] ket times the value in the ket by n, leaving the coefficient unchanged if the ket is not a number, then return the empty ket |>
times-by[5] |6.1> |30.5>